Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling
نویسندگان
چکیده
منابع مشابه
Graph Rewrite Systems for Software Design Transformations
Middleware has become an important part in business applications. Different middleware platforms require different software designs. Even version changes of the used platform often lead to complex re-designs of software. Furthermore, complex business and platform-specific knowledge is required, to translate abstract business models to platform specific implementations. This paper presents the s...
متن کاملa new algorithm and software of individual life insurance and annuity computation
چکیده ندارد.
15 صفحه اولMulti-view Modeling of Software Systems
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting subsystems we introduce a formal model and a theory that covers two essentially dual concepts of systems engineering. One idea is that of comprehensive system functionality in terms services and the other one is that of architectures that are networks of components described by their interf...
متن کاملModeling Dimensions of Self-Adaptive Software Systems
It is commonly agreed that a self-adaptive software system is one that can modify itself at run-time due to changes in the system, its requirements, or the environment in which it is deployed. A cursory review of the software engineering literature attests to the wide spectrum of software systems that are described as self-adaptive. The way self-adaptation is conceived depends on various aspect...
متن کاملModeling with Graph Transformations
In this paper we give a general overview of graph grammars and graph transformation as important modeling techniques for several areas in computer science. In particular we present the main ideas of the algebraic approach, which is the basis for a categorical theory of rule-based transformations of high-level structures. 1 General Overview of Graph Transformation The research area of graph gram...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2012
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-012-0254-z